аксиоматическая форма

(теории) axiomatic form

Русско-английский физический словарь. 2013.

Смотреть что такое "аксиоматическая форма" в других словарях:

  • Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …   Википедия

  • ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… …   Философская энциклопедия

  • Формальное исчисление — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… …   Википедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • Нерешённые проблемы математики — Нерешённые проблемы (или Открытые проблемы)  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто принимают форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна практика… …   Википедия

  • Открытые математические проблемы — Открытые (нерешённые) математические проблемы  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна… …   Википедия

  • Нерешенные проблемы теории чисел — Нерешённые проблемы (или Открытые проблемы)  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто принимают форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна практика… …   Википедия

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

  • ПРОСТРАНСТВО — фундаментальное (наряду с временем) понятие человеческого мышления, отображающее множественный характер существования мира, его неоднородность. Множество предметов, объектов, данных в человеческом восприятии одновременно, формирует сложный… …   Философская энциклопедия

  • СТРУКТУРНАЯ ЛИНГВИСТИКА — (лингвистический структурализм) направление в языкознании, возникшее в начале ХХ в. и определившее во многом не только лингвистическую, но и философскую и культурологическую парадигмы (см. ПАРАДИГМА) всего ХХ века. В основе С. л. понятие… …   Энциклопедия культурологии

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.